(eq (type-of 2i32) type-i32)
